Intersection theory - PDFSEARCH.IO - Document Search Engine

Intersection theory
Results: 170

#	Item
161	Elaborating Intersection and Union Types Joshua Dunfield Max Planck Institute for Software Systems Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2012-06-25 20:34:16 Logic in computer science Type theory Lambda calculus Proof theory Combinatory logic Models of computation Standard ML Curry–Howard correspondence Type system Theoretical computer science Mathematics Programming language theory
162	Register Allocation after Classical SSA Elimination is NP-complete Fernando Magno Quint˜ao Pereira Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2006-02-05 20:11:50 Static single assignment form Graph coloring Register allocation Graph Intersection graph Chordal graph Path decomposition Trapezoid graph Graph theory Theoretical computer science Mathematics
163	PDF Document Add to Reading List Source URL: www-pr.informatik.uni-tuebingen.de Language: English - Date: 2007-10-30 11:31:52 Graph operations Chordal graph Interval graph Perfect graph Intersection graph Matching Planar graph Neighbourhood Path decomposition Graph theory Clique problem Clique
164	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2002-03-05 09:53:37 Algebraic topology Homology theory Cohomology theories Homological algebra Algebraic combinatorics Leroy P. Steele Prize Perverse sheaf Intersection homology Mark Goresky Abstract algebra Mathematics Topology
165	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 11:25:06 General topology Order theory Functions and mappings Non-standard analysis Ultrafilter Function Stone–Čech compactification Continuous function Finite intersection property Mathematics Mathematical analysis Topology
166	PDF Document Add to Reading List Source URL: web.thu.edu.tw Language: English - Date: 2006-12-18 20:22:46 Chordal graph Interval graph Intersection number Intersection graph Fractional coloring Graph Matching Path decomposition Clique problem Graph theory Graph operations Clique
167	PDF Document Add to Reading List Source URL: theinf1.informatik.uni-jena.de Language: English - Date: 2007-08-21 06:18:22 Clique Line graph Dominating set Intersection number Graph coloring Chordal graph Bron–Kerbosch algorithm Maximal independent set Clique-sum Graph theory Theoretical computer science NP-complete problems
168	PDF Document Add to Reading List Source URL: ovid.cs.depaul.edu Language: English - Date: 2010-08-20 13:53:08 Applied mathematics Crossing number NP Existential theory of the reals Intersection graph EXPTIME P versus NP problem Graph isomorphism problem Theoretical computer science Computational complexity theory Complexity classes
169	PDF Document Add to Reading List Source URL: people.math.gatech.edu Language: English - Date: 2011-11-28 08:32:39 Order theory Intersection graph Greedy coloring Graph Chordal graph Tree Interval graph Graph operations Split graph Graph theory Graph coloring Comparability graph
170	PDF Document Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-28 21:26:03 Directed graph Graph Triangle Intersection graph Series-parallel graph SPQR tree Path decomposition Graph theory Planar graphs Graph operations